Resultado da Pesquisa
A expressão de busca foi <related:dpi.inpe.br/plutao/2012/11.28.17.33.54-0:en:title:2:statecharts generation automated machines:gtsc automated model based test case generation statecharts finite state machines:>.
4 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 30/04/2024 12:29.
SantiagoJúniorVijFerGuiCos:2012:AuMoTe
id J8LNKAN8RW/3D53QDU    Artigo em Evento    (1.00)    -m-
Santiago Júnior, V. A., et al. :2012:
GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
metadados (BibTeXReferComo citar?XMLxreferoai_dcCapa)
URL <dpi.inpe.br/plutao/2012/11.28.17.33.53> (190 KiB) estatísticasacessarbaixaratualizar
<plutao.sid.inpe.br>
SantiagoJúniorVijGuiAmaSou:2008:EnTeCa
id J8LNKAN8RW/34BEP7K    Artigo em Evento    acesso restrito    (0.47)    -m-
Santiago Júnior, V. A., et al. :2008:
An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models
metadados (BibTeXReferComo citar?XMLxreferoai_dcCapa)
URL <dpi.inpe.br/plutao@80/2008/12.04.11.55.29> (288 KiB) estatísticasacessaratualizar
<plutao.sid.inpe.br>
SantiagoVijGuiAmaFer:2008:EnAuTe
id J8LNKAN8RW/34DNU6S    Artigo em Evento    acesso restrito    (0.45)    -m-
Santiago, V., et al. :2008:
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
metadados (BibTeXReferComo citar?XMLxreferoai_dcCapa)
URL <dpi.inpe.br/plutao@80/2008/12.18.15.55> (288 KiB) estatísticasacessaratualizar
<plutao.sid.inpe.br>
SantiagoAmViMaMaLo:2006:PrApAu
Artigo em Evento    (0.37)    -m-
Santiago, V., et al. :2006:
A pratical approach for automated test case generation using statecharts
metadados (BibTeXReferComo citar?XMLxreferoai_dcCapa)
URL <sid.inpe.br/mtc-m16@80/2006/08.10.12.08> (315 KiB) estatísticasacessarbaixaratualizar
<mtc-m16.sid.inpe.br>